منابع مشابه
Au temps en emporte le C
Le (bon) séquencement des événements au fil du temps est un sujet important pour l’analyse de programmes, par exemple dans le cadre de protocoles d’échange d’information ou de systèmes embarqués. De nombreux travaux s’appuient sur la logique temporelle linéaire (LTL) pour décrire formellement le comportement attendu d’un programme, sous la forme d’une succession d’actions distinctes. Implanté a...
متن کاملÀ l'ombre d'Avicenne. Le médecine au temps des califes. Exposition présentée du 18 novembre 1996 au 2 mars 1997
female love, it being thought that women were destined to love each other anyway and passively lie in each other's arms, as pictured in dozens of illustrated Victorian calendars showing fair maidens intertwined in the meadow or caressing by the brook under a tree. White includes only a few female voices before the 1870s: Charlotte Bronte in a letter of 1837 to Ellen Nussey, and Adah Isaacs Menc...
متن کاملUne ontologie du temps pour le langage naturel
We propose a new ontology for the time in natural language which provides the following
متن کاملLe milieu médical en France du XIIe au XVe siècle
'Scientists and Charlatans' (pp. 257-331), Gillispie goes on to show doctors endeavouring to define more clearly the contours of their profession by attacking what they saw as medical quacks. Entertaining full-dress treatments of the medical careers of Mesmer and Marat illuminate the general theme. Gillispie's general thesis is not, it is true, novel in regard to medical science. However, the b...
متن کاملLe modèle OFL au service du métaprogrammeurApplication à Java
RÉSUMÉ. OFL est le sigle de Open Flexible Languages et le nom d’un métamodèle des langages de programmation à classes. Il repose sur trois concepts essentiels de ces langages : les descriptions qui sont une généralisation de la notion de classe, les relations telles l’héritage ou l’agrégation et les langages eux-mêmes. OFL offre un paramétrage de ces trois concepts dans le but d’adapter leur sé...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Physical and Rehabilitation Medicine
سال: 2012
ISSN: 1877-0657
DOI: 10.1016/j.rehab.2012.03.001